Generalised Species of Structures: Cartesian Closed and Differential Structure (Working Draft)
نویسنده
چکیده
We generalise Joyal’s notion of species of structures and develop their combinatorial calculus. In particular, we provide operations for their composition, addition, multiplication, pairing and projection, abstraction and evaluation, and differentiation; developing both the cartesian closed and linear structures of species.
منابع مشابه
The Cartesian Closed Bicategory of Generalised Species of Structures
The concept of generalised species of structures between small categories and, correspondingly, that of generalised analytic functor between presheaf categories are introduced. An operation of substitution for generalised species, which is the counterpart to the composition of generalised analytic functors, is also put forward. These definitions encompass most notions of combinatorial species c...
متن کاملCartesian closed subcategories of topological fuzzes
A category $mathbf{C}$ is called Cartesian closed provided that it has finite products and for each$mathbf{C}$-object $A$ the functor $(Atimes -): Ara A$ has a right adjoint. It is well known that the category $mathbf{TopFuzz}$ of all topological fuzzes is both complete and cocomplete, but it is not Cartesian closed. In this paper, we introduce some Cartesian closed subcategories of this cat...
متن کاملFactorisation Systems on Domains
We present a cartesian closed category of continuous domains containing the classical examples of Scott-domains with continuous functions and Berry's dI-domains with stable functions as full cartesian closed subcategories. Furthermore, the category is closed with respect to bilimits and there is an algebraic and a generalised topological description of its morphisms.
متن کاملA Categorical Model of Array Domains Ga � etan
We apply the theory of generalised concrete data structures or gCDSs to construct a cartesian closed category of concrete array structures with explicit data layout The technical novelty is the array gCDS preserved by exponentiation whose isomorphisms relate higher order objects to their local parts This work is part of our search of semantic foundations for data parallel functional programming
متن کاملCategorical logic of Names and Abstraction in Action Calculi
Received Milner's action calculus implements abstraction in monoidal categories, so that familiar-calculi can be subsumed together with the-calculus and the Petri nets. Variables are generalised to names: only a restricted form of substitution is allowed. In the present paper, the well-known categorical semantics of the-calculus is generalised to the action calculus. A suitable functional compl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004